PONTELLI, E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Logic programming for finding models in the logics of knowledge and its applications: A case study

BARAL, C., GELFOND, G., PONTELLI, E., SON, T.

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 192 KB

english, 2010

2

Logic programs with abstract constraint atoms: The role of computations

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczyński

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

3

A new approach to hybrid probabilistic logic programs

Emad Saad, Enrico Pontelli

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2006

Language:

english

File:

PDF, 870 KB

english, 2006

4

{log}: A language for programming in logic with finite sets

Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 2.45 MB

english, 1996

5

Sets and constraint logic programming

Dovier, Agostino, Piazza, Carla, Pontelli, Enrico, Rossi, Gianfranco

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2000

Language:

english

File:

PDF, 633 KB

english, 2000

6

Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches

Liu, Chongbing, Pontelli, Enrico

Journal:

Journal of Experimental & Theoretical Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 386 KB

english, 2014

7

Non-visual navigation of spreadsheets

Doush, Iyad Abu, Pontelli, Enrico

Journal:

Universal Access in the Information Society

Year:

2013

Language:

english

File:

PDF, 919 KB

english, 2013

8

[IEEE Comput. Soc IEEE International Symposium on Parallel and Distributed Processing - San Francisco, CA, USA (23-27 April 2001)] Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001 - Experiments in parallel execution of answer set programs

Year:

2001

Language:

english

File:

PDF, 321 KB

english, 2001

9

[IEEE Comput. Soc. Press 9th International Parallel Processing Symposium - Santa Barbara, CA, USA (25-28 April 1995)] Proceedings of 9th International Parallel Processing Symposium - &ACE: a high-performance parallel Prolog system

Pontelli, E., Gupta, G., Hermenegildo, M.

Year:

1995

Language:

english

File:

PDF, 834 KB

english, 1995

10

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 1753 ||

Pontelli, Enrico, Santos Costa, Vítor

Year:

2000

Language:

english

File:

PDF, 34.52 MB

english, 2000

11

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 9131 || State Space Planning Using Transaction Logic

Pontelli, Enrico, Son, Tran Cao

Year:

2015

Language:

english

File:

PDF, 287 KB

english, 2015

12

A generic approach to planning in the presence of incomplete information: Theory and implementation

To, Son Thanh, Son, Tran Cao, Pontelli, Enrico

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 1.57 MB

english, 2015

13

Constrained Community-Based Gene Regulatory Network Inference

Fioretto, Ferdinando, Dovier, Agostino, Pontelli, Enrico

Journal:

ACM Transactions on Modeling and Computer Simulation

Year:

2015

Language:

english

File:

PDF, 789 KB

english, 2015

14

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 9131 || Programming Microcontrollers in OCaml: The OCaPIC Project

Pontelli, Enrico, Son, Tran Cao

Year:

2015

Language:

english

File:

PDF, 398 KB

english, 2015

15

Formalizing Negotiations Using Logic Programming

Son, Tran Cao, Pontelli, Enrico, Nguyen, Ngoc-Hieu, Sakama, Chiaki

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 720 KB

english, 2014

16

Software for subjective visual vertical assessment: an observational cross-sectional study

Pavan, Theo Zeferino, Funabashi, Martha, Oliveira Carneiro, José Ailton, dos Santos Pontelli, Taiza Elaine Grespan, Tedeschi, Walfred, Colafêmina, José Fernando, Olivera Carneiro, Antonio Adilton

Journal:

Brazilian Journal of Otorhinolaryngology

Year:

2012

Language:

english

File:

PDF, 694 KB

english, 2012

17

A new method to analyze the subjective visual vertical in patients with bilateral vestibular dysfunction

Funabashi, M, Santos-Pontelli, TE, Colafemina, JF, Pavan, TZ, Carneiro, AA, Takayanagui, OM

Journal:

Year:

2012

Language:

english

File:

PDF, 129 KB

english, 2012

18

Parietal-Insular-Vestibular tDCS for Treatment of Lateropulsion Following Stroke

Reding, Michael, Babyar, Suzanne, Santos-Pontelli, Taiza, Lemos, Tennyson, Edwards, Dylan

Journal:

Brain Stimulation

Year:

2017

Language:

english

File:

PDF, 75 KB

english, 2017

19

Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs

Fioretto, Ferdinando, Pontelli, Enrico, Yeoh, William, Dechter, Rina

Journal:

Year:

2017

Language:

english

File:

PDF, 1.99 MB

english, 2017

20

ASP Applications in Bio-informatics: A Short Tour

Dal Palù, Alessandro, Dovier, Agostino, Formisano, Andrea, Pontelli, Enrico

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

21

ESCRT machinery components are required for Orthobunyavirus particle production in Golgi compartments

Barbosa, Natalia S., Mendonça, Leila R., Dias, Marcos V. S., Pontelli, Marjorie C., da Silva, Elaine Z. M., Criado, Miria F., da Silva-Januário, Mara E., Schindler, Michael, Jamur, Maria C., Oliver, C

Journal:

Year:

2018

Language:

english

File:

PDF, 14.16 MB

english, 2018

22

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming

HAI NGUYEN, THANH, PONTELLI, ENRICO, CAO SON, TRAN

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 476 KB

english, 2018

23

Impacto na saúde humana de disruptores endócrinos presentes em corpos hídricos: existe associação com a obesidade?

Pontelli, Regina Célia Nucci, Nunes, Altacilio Aparecido, Oliveira, Sonia Valle Walter Borges de

Journal:

Ciência & Saúde Coletiva

Year:

2016

File:

PDF, 129 KB

2016

24

Oropouche Virus Infects, Persists and Induces IFN Response in Human Peripheral Blood Mononuclear Cells as Identified by RNA PrimeFlowâ¢ and qRT-PCR Assays

Ribeiro Amorim, Mariene, Cornejo Pontelli, Marjorie, Fabiano de Souza, Gabriela, Primon Muraro, StÃ©fanie, Toledo-Teixeira, Daniel A., Forato, Julia, Bispo-dos-Santos, Karina, Barbosa, NatÃ¡lia S., Ca

Journal:

Year:

2020

File:

PDF, 3.23 MB

2020

25

Applications of parallel processing technologies in heuristic search planning: methodologies and experiments

Tu Huy Phan, Enrico Pontelli, Tran Cao Son, Son Thanh To

Journal:

Concurrency and Computation: Practice and Experience

Year:

2009

Language:

english

File:

PDF, 356 KB

english, 2009

26

Issues in parallel execution of non-monotonic reasoning systems

Marcello Balduccini, Enrico Pontelli, Omar Elkhatib, Hung Le

Journal:

Parallel Computing

Year:

2005

Language:

english

File:

PDF, 463 KB

english, 2005

27

An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling

Enrico Pontelli, Hung Viet Le, Tran Cao Son

Journal:

Computer Languages, Systems & Structures

Year:

2010

Language:

english

File:

PDF, 1.09 MB

english, 2010

28

A system for automatic structure discovery and reasoning-based navigation of the web

E. Pontelli, T.C. Son, K. Kottapally, C. Ngo, R. Reddy, D. Gillan

Journal:

Interacting with Computers

Year:

2004

Language:

english

File:

PDF, 511 KB

english, 2004

29

Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms

Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta

Journal:

Journal of Parallel and Distributed Computing

Year:

2006

Language:

english

File:

PDF, 615 KB

english, 2006

30

Sequential and parallel algorithms for the NCA problem on pure pointer machines

A. Dal Palú, E. Pontelli, D. Ranjan

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 1.01 MB

english, 2006

31

A necessary condition for Constructive Negation in Constraint Logic Programming

Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

32

The Level-Ancestor problem on Pure Pointer Machines

Desh Ranjan, Enrico Pontelli

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 141 KB

english, 2003

33

Efficient algorithms for the temporal precedence problem

D. Ranjan, E. Pontelli, G. Gupta

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 772 KB

english, 1998

34

Separation and identification of free phenolic acids in wines by high-performance liquid chromatography

G.P. Cartoni, F. Coccioli, L. Pontelli, E. Quattrucci

Journal:

Journal of Chromatography A

Year:

1991

Language:

english

File:

PDF, 341 KB

english, 1991

35

Preface: Volume 30, Issue 3

Ines Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Peter Kacsuk

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 40 KB

english, 2000

36

CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis

Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli

Journal:

BMC Bioinformatics

Year:

2011

Language:

english

File:

PDF, 1.61 MB

english, 2011

37

Optimization schemas for parallel implementation of non-deterministic languages and systems

Gopal Gupta, Enrico Pontelli

Journal:

Software: Practice and Experience

Year:

2001

Language:

english

File:

PDF, 367 KB

english, 2001

38

A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction

Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli

Journal:

Software: Practice and Experience

Year:

2007

Language:

english

File:

PDF, 833 KB

english, 2007

39

On the complexity of or-parallelism

Desh Ranjan, Enrico Pontelli, Gopal Gupta

Journal:

New Generation Computing

Year:

1999

Language:

english

File:

PDF, 1.35 MB

english, 1999

40

Constructive negation and constraint logic programming with sets

Agostino Dovier, Enrico Pontelli, Gianfranco Rossi

Journal:

New Generation Computing

Year:

2001

Language:

english

File:

PDF, 2.35 MB

english, 2001

41

Data structures for order-sensitive predicates in parallel nondeterministic systems

Desh Ranjan, Enrico Pontelli, Gopal Gupta

Journal:

Acta Informatica

Year:

2000

Language:

english

File:

PDF, 142 KB

english, 2000

42

A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines

Enrico Pontelli, Desh Ranjan

Journal:

Theory of Computing Systems

Year:

2005

Language:

english

File:

PDF, 211 KB

english, 2005

43

Contraversive pushing in non-stroke patients

Taiza E. G. Santos-Pontelli, Octávio M. Pontes-Neto, José Fernando Colafêmina, Dráulio B. de Araujo, Antônio Carlos Santos, João P. Leite

Journal:

Journal of Neurology

Year:

2004

Language:

english

File:

PDF, 275 KB

english, 2004

44

Intelligent non-visual navigation of complex HTML structures

E. Pontelli, D. Gillan, G. Gupta, A. Karshmer, E. Saad, W. Xiong

Journal:

Universal Access in the Information Society

Year:

2002

Language:

english

File:

PDF, 414 KB

english, 2002

45

A new approach to hybrid probabilistic logic programs

Emad Saad, Enrico Pontelli

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 158 KB

english, 2007

46

Human Variability of fMRI Brain Activation in Response to Oculomotor Stimuli

Hellen M. Della-Justina, Bruno F. Pastorello, Taiza E. G. Santos-Pontelli, Octavio M. Pontes-Neto, Antonio Carlos Santos, Oswaldo Baffa, Jose F. Colafemina, Joao P. Leite, Draulio B. de Araujo

Journal:

Brain Topography

Year:

2008

Language:

english

File:

PDF, 352 KB

english, 2008

47

An optimal data structure to handle dynamic environments in non-deterministic computations

E. Pontelli, D. Ranjan, A. Dal Palú

Journal:

Computer Languages, Systems & Structures

Year:

2002

Language:

english

File:

PDF, 200 KB

english, 2002

48

Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory

Tran Cao Son, Enrico Pontelli

Journal:

Computational Intelligence

Year:

2004

Language:

english

File:

PDF, 305 KB

english, 2004

49

Parallel symbolic computation in ACE

Enrico Pontelli, Gopal Gupta

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 455 KB

english, 1997

50

Application of cerium oxide electrospun fibers in the catalytic combustion of methane

Geordana Cornejo Pontelli, Raquel Pereira Reolon, Annelise Kopp Alves, Felipe Amorim Berutti, Carlos Pérez Bergmann

Journal:

Applied Catalysis A: General

Year:

2011

Language:

english

File:

PDF, 759 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски